The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...
Lee masThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lee masThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lee masThe volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Lee masThis book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and ...
Lee masThis book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Computer Supported ...
Lee masThe design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...
Lee masThe design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...
Lee masThe volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...
Lee masEfforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Lee masEfforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Lee masThis book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, ...
Lee masThis book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and ...
Lee masThis book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION ...
Lee masThis book constitutes the refereed proceedings of the First International Conference on Data Management in Grid and Peer-to-Peer ...
Lee masThis two volume set (CCIS 1257 and 1258) constitutes the refereed proceedings of the 6th International Conference of Pioneering ...
Lee masThis book presented secure query evaluation, location-based security/mobile security, distributed security issues, cryptographic-based ...
Lee masThis book presented secure query evaluation, location-based security/mobile security, distributed security issues, cryptographic-based ...
Lee masThis tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability ...
Lee masThis book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
Lee mas